.bashrc: alias to list users connected to the FTP server