most of the stuff in Basics/Fibrations is subsumed by Types/Sigma
Merge pull request #581 from mikeshulman/fibrations

most of the stuff in Basics/Fibrations is subsumed by Types/Sigma