Improved debugging and IDE support

The Makefile generated by mirage configure now includes debugging, symbols and annotation support for both the new-style binary annotations and the old-style .annot files.