Merge branch 'core-109.28.00' of git://github.com/janestreet/opam-repository into janestreet-core-109.28.00
remove obsolete endian snapshot, now integrated in 4.1
remove now-unnecessary mirage switches
remove short-paths snapshot, now integrated into 4.1 branch fully
point the 4.01.0dev+fp branch at the right branch
point the 4.01.0dev at the correct branch
add 4.02.0dev frame pointer variant
add 4.02.0dev+trunk (without frame pointer) variant
improve descriptions of the 4.1 switches
Merge branch 'janestreet-core-109.28.00'
Merge pull request #799 from mirage/master

refresh compiler switches