Move Fibrations.v out of Basics & add stuff using Types.Sigma
Merge pull request #587 from mikeshulman/fibrations

Move Fibrations.v out of Basics & add stuff using Types.Sigma