Clean up the DirectoryIndex mess.
* Remove DirectoryIndex from the .htaccess file. This file set the index for every directory to start.php3, which was wrong. * Change index.html to redirect to index.php3. * Change start.php3 to redirect to index.php3. I left the start.php3 script in place (one line script) so that existing bookmarks work. * Move the code that used to be in start.php3 to the top of index.php3; this is the code that would zap to the My Emulab page when the user was logged in (and in https mode). Much simpler now.