Reorganized rules
Default compiler set to ocamlc (added FIXME to use ocamlopt when available)