robot/robot-compile-hrpsys.sh: update to use github