libmpp_fragment.ml -> fragment.ml
mpp_tool_fragment.ml -> fragment_main.ml
Makefile: made to use new file names