What is PuTTY and some useful tips to use it easily