MinexTools hello

The smallest MinEx site: it only knows how to sign in with MinexTools.