Merge pull request #1208 from rdicosmo/add-cmdline-options

Made OPAMCRITERIA settable via the command line option --criteria
Merge pull request #1209 from rdicosmo/add-cmdline-options

Cleanup help messages for --criteria.
Merge pull request #1210 from rdicosmo/add-cmdline-options

Clarify that --criteria takes preference over OPAMCRITERIA.
Big cleanup in OpamTypes

the everywhere-opened module used to contain lots of various stuff. Now:
* it contains only types, so no duplication between .ml / .mli is needed
* utility functions have been moved to OpamTypesBase
* Action resolution modules and functors have been moved to their own
  modules, with a much cleaner interface. The two instances (with OPAM and CUDF modules)
  are also a bit easier to distinguish and understand (OpamSolver converts between
  the two)
opam-rt doesn't like latest cohttp, temporary workaround for travis
Merge pull request #1206 from OCamlPro/opamtypes-cleanup

Big cleanup in OpamTypes