Remove ros-hrp2.tex