Installing 3rd-party library packages from ppa instead of building the sources directly
Merge pull request #130 from dartsim/3rd_party

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