Move site-specific functions to local file

My .bashrc.local script includes a new local version of functions.sh
that includes the removed functions. They refer to site-specific servers
and directories. (They possibly never should have been mentioned in a
public repository in the first place, but there's nothing too revealing
about their names.)