convenient tools for using catkin projects in eclipse
merged with github