Upload service should automatically delete WEB-INF

[Matt Giuca]

The process for uploading a game is to:

1. Compile it fully with gwtc,
2. Delete war/WEB-INF (which contains all the server-side classes for the game which are not used or wanted by MUGLE),
3. Zip up the war directory,
4. Upload the zip file.

If a student forgets step 2, they will upload a massive zip containing a lot of Java code including third-party JARs which will take up a lot of space in our datastore. Therefore, we should not rely on them to delete it.

The UploadService should automatically ignore any file with the pattern /*/WEB-INF/*.

[Matt Giuca (mgiuca)]

Fixed in trunk r361.