Removed depreicated class org.kframework.kil.Constant.
Added error message for inline token/lexical declarations.
Add flag for whether to print explicit tokens to UnparserFilter.
Merge branch 'master' of github.com:kframework/k
Added failonerror for ktest task.
Fix breakage from eliminating Constant.