reinstate .bash_aliases, added ssh-to-pi alias, mods to RPN and primes