#5: install pr2-navigation on travis