Update OctoMap to latest release (1.10.0)

Recent CI changes resulted in build errors with OctoMap 1.8. Update to
the most recent release, and include a work-around for an install
problem (OctoMap/octomap#445).

Fixes: #656

Author: mwoehlke-kitware

ci/install_linux.sh

@@ -7,9 +7,9 @@ sudo apt-get -qq --yes --force-yes install libccd-dev
 # Octomap
 git clone https://github.com/OctoMap/octomap
 cd octomap
-git checkout tags/v1.8.0
+git checkout tags/v1.10.0
 mkdir build
 cd build
-cmake ..
+cmake -DCMAKE_BUILD_TYPE=Release ..
 make
 sudo make install