Initialise the home directory for this tool. This is where the
package repository and the maven cache live, along with other
configuration files as needed. This first checks whether or not
the WHILEYHOME environment variable is specified, in which case it
uses that.