Normal solvability and the Fredholm alternative for mappings into infinite dimensional manifolds