Installing 3rd-party library packages from ppa instead of building the sources directly

This pull request makes Travis-CI to follow [Linux Installation](https://github.com/dartsim/dart/wiki/Linux-installation) instruction.