Major version increment to 317?

[130s]

OpenHRP3 is 3.1.7 since Oct 2014. And the major version of hrpsys is tied to that of OpenHRP3.

I'm just wondering. If it's not that strict I personally have no problem without syncing the versions.

Btw is this repository still in use for releasing ROS .deb?