[wip/sot-dynamic-pinocchio-v3] Update to 3.1.8

Removed useless headers
Thx to Joseph Mirabel to point this out.

sot-dynamic-pinocchio-v3/Makefile

@@ -2,10 +2,9 @@
 # Created:			Rohan Budhiraja on Fri, 8 Apr 2016
 #
 
-VERSION=		3.1.7
+VERSION=		3.1.8
 PKGNAME=		sot-dynamic-pinocchio-v3-${VERSION}
 DISTNAME=		sot-dynamic-pinocchio-v3-${VERSION}
-PKGREVISION=		2
 
 MASTER_SITES=		${MASTER_SITE_OPENROBOTS:=sot-dynamic-pinocchio-v3/}
 MASTER_REPOSITORY=	${MASTER_REPOSITORY_GITHUB}stack-of-tasks/sot-dynamic-pinocchio/

sot-dynamic-pinocchio-v3/distinfo

-SHA1 (sot-dynamic-pinocchio-v3-3.1.7.tar.gz) = 299cfccbf45ba7b8140626f986a400c621af65c7
-RMD160 (sot-dynamic-pinocchio-v3-3.1.7.tar.gz) = ba9b05af4fd01d303219ab00e56be1a733626bc2
-Size (sot-dynamic-pinocchio-v3-3.1.7.tar.gz) = 852560 bytes
+SHA1 (sot-dynamic-pinocchio-v3-3.1.8.tar.gz) = 5146ccf33c4e9f99ab555308c724c75675ac7505
+RMD160 (sot-dynamic-pinocchio-v3-3.1.8.tar.gz) = 76c79b682019a852dd60f87172a52e5a00e489ab
+Size (sot-dynamic-pinocchio-v3-3.1.8.tar.gz) = 854425 bytes