Defined empty_universe

This may enable users of opam_lib not to break if we add fields
Merge pull request #1033 from AltGr/empty-universe

Defined empty_universe