#2: add arm-navigation apt package on travis