Remove *.mj/*.java file name requirement

It is not mentioned in the spec and could lead to problems with
automated tests by the course instructors (their test files might be
named differently).
Merge pull request #23 from jspam/010-file-extensions

Remove *.mj/*.java file name requirement