Dev/config autojump
This allows to disable the auto jump for g5k host if the user doesn't want it.
This can be done using a special config key: g5k_auto_jump
This allows to disable the auto jump for g5k host if the user doesn't want it.
This can be done using a special config key: g5k_auto_jump