added token and builtins for Int32
Update documentation comment in Module.java.
Copy missing field in copy constructor of PriorityExtendedAssoc.
Fix certain toString implementations.
Better pretty printing for literate comments.
Hope most of them will pass now
Merge branch 'master' of https://github.com/kframework/k
Allow escaped - at end of Token regex
imp++ should work now.
Merge branch 'master' of https://github.com/kframework/k
Merge branch 'master' of https://github.com/kframework/k