Get rid of useless main.html file

main.html

@@ -1,9 +0,0 @@
-<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN">
-<html>
-<head>
-<title>IOCCC Main</title>
-<meta http-equiv="REFRESH" content="0;url=index.html"></HEAD>
-<BODY>
-Your browser should have redirected you to <A HREF="index.html">here</A>
-</BODY>
-</HTML>