- fixed some bugs in the makefiles
- removed obsolete miracl_compilation dir from MiraclJavaInteface dir
(we now have instead lib/MiraclCompilation/)