[wip/pinocchio] Fix installation lib dir and add a missing header

* Do not let cmake guess the system library directory, always use "lib"
* Add a missing <cmath> header for isnan().

pinocchio/Makefile

@@ -18,6 +18,8 @@ MAKE_JOBS_SAFE=		no
 
 DYNAMIC_PLIST_DIRS+=	share/doc/${PKGBASE}
 
+CMAKE_ARGS+=		-DCMAKE_INSTALL_LIBDIR=lib
+
 CMAKE_ARGS+=		-DPYTHON_EXECUTABLE=${PYTHON}
 CMAKE_ARGS+=		-DPYTHON_INCLUDE_DIR=${PYTHON_INCLUDE}
 CMAKE_ARGS+=		-DPYTHON_LIBRARY=${PYTHON_LIB}

pinocchio/distinfo

@@ -4,3 +4,4 @@ Size (pinocchio-1.1.2.tar.gz) = 8911853 bytes
 SHA1 (patch-aa) = 48bd99335980d76f285645f33d10ab5cd0db0749
 SHA1 (patch-ab) = 96f1ea798f0e3fcb2dbef755476a959727550eb0
 SHA1 (patch-ac) = 75eb20d87148706b27c1d3601f9a379fbf666bc0
+SHA1 (patch-ad) = 55fcdbcd58e5261af4fc94aab05056548f52ccc1

pinocchio/patches/patch-ad

+--- unittest/constraint.cpp~	2016-05-27 14:31:10.000000000 +0200
++++ unittest/constraint.cpp	2016-06-02 10:49:37.831834286 +0200
+@@ -15,6 +15,7 @@
+ // Pinocchio If not, see
+ // <http://www.gnu.org/licenses/>.
+ 
++#include <cmath>
+ #include <iostream>
+ 
+ #include "pinocchio/spatial/force.hpp"