Rename :jdk arg to :with and support it in read-ast

:with :jdk7 looks nicer than :jdk :jdk7 (I think)