Bump trunk version to 0.8.0
Update to dose 3.1.2
Apply the patches before substituting files
Upgrade opam to dose 3.1.2
Merge branch 'master' of github.com:OCamlPro/opam

Conflicts:
	src/opamClient.ml
Big spring clean-up in the solver API. Now, all the cudf/debian things only appear here, everywhere else we only use opam packages.
Spring clean-up in the client API.

TODO:
* add back reinstall code
* do something about the heuristics
Various fixes following the API change in the solver.

Install heuristic and hanlde of reinstall are still missing
More simplifications. We always give raw package names to the solver, unless a version constraint is explicitely stated by the user.
Add back an install heuristic to always try to install the latest versions of the packages
Add back package minimization on installation.
Add back the reinstall mechanism
Install seems to work on real example (ie. on core).

As the state space grew quite large very easily, do not try to explore it completely if there are too many possibilites.

Upgrade seems to 'almost work'.

The reinstall thing is not yet completly implemented (need to effectively recompile the package when we build actions from universe diff).
Fix libinstall target
sync jenkins
Add python-based unit tests
Merge pull request #271 from chambart/master

Allow to use github tag tarballs as compiler sources
Merge pull request #273 from abate/unittest

Add python-based unit tests
Fix reinstall
More clever handling of optional dependencies.

Now the optional dependencies are automatically added to the depends field when it is installed. This ensure that the solver checks that the right package versions are installed, and also it should solve the case where we have an optional conjunction.

For instance:
depopts: [ "async" ("lwt" & "ssh") ]

is translated to:
depends += [ "lwt" & "ssh" ]

if either any version of lwt or ssh is installed.