Java 7 support

I've added the ability to parse Java 7 source, which includes: binary literals, underscores in numeric literals, the "diamond operator", try-with-resource blocks, and multi-catch clauses. The last one is the biggest change, because it involves adding a new method to the visitors.