Merge pull request #57 from bchretien/master

Forward plugin name to Solver.
Synchronize shared-tests
Move getting-started page in its own file.

Thanks to this we can directly reuse the documentation in the website.
[travis] Synchronize
[travis] Synchronize.
[travis] Synchronize.
travis: ignore tests in lcov.