OCaml-related Makefile updates
OCaml-related Makefile updates

Basically the non-CGC parts of 195127d from the CGC branch. I'm
still not completely clear on why the reordering of .o files is
needed, but the old order doesn't work with my OCaml 4.05 here.

bitblaze-fuzzball/d-s-se-directed-tests,bitblaze-fuzzball/d-s-se-directed-tests,bitblaze-fuzzball/d-s-se-directed-tests,bitblaze-fuzzball/d-s-se-directed-tests,bitblaze-fuzzball/d-s-se-directed-tests