Display push commands in catkin_prepare_release --no-push

In case this is not possible, just output a warning.