Add libompl-dev to ubuntu-precise; resolves travis-ci/apt-package-whitelist#2395
Add libompl-dev to ubuntu-precise; resolves travis-ci/apt-package-whitelist#2395

Packages: libompl-dev libompl10 ompl-demos libompl10-dbg

travis-ci/apt-package-whitelist,travis-ci/apt-package-whitelist