A JuiceSSH plugin for monitoring linux servers