Added knowrob_dev to jenkins.rosinstall