Expliciting the name of 'overlay' functions
Added helper function to OpamFile
Needed for hacking in opamRT
Cleanup: removed 'others' from opam file structure
(additionally, fixes duplication of the 'version' field when already there)
Merge pull request #753 from AltGr/intf-cleanup

Intf cleanup