remove unused 3.12.1 mirage compilers, as we only support 4.x now
remove 4.00.0 raspberry pi switch, as the 4.00.1 version is the tested one
add a 4.01.0dev variant that enables x86_64 frame pointers
Merge pull request #774 from mirage/master

remove unused compiler and add a trunk frame-pointer option