bashrc: ssh-to-box command
bashrc: randnum (float) and randcsv functions added for convenience
bashrc: [fixup] randcsv needs comman separated titles