bash_aliases: Added alias for putty