move NullHomotopy into its own file
Merge pull request #582 from mikeshulman/nullhomotopy

move NullHomotopy into its own file