minerva Minerva true fermi-compute-server fermi-kerberos kernel-development openssh-server openafs-client base-x graphical-internet text-internet graphics office editors authoring-and-publishing emacs Minerva-tag Minerva-tree doxygen octave