Installing OpenRave on Ubuntu 16.04