Added example to Parser.Function.
Merge pull request #356 from dwightguth/ktest-regex

add regular expression pattern matching for ktest
Edit JavaDoc in Grammar.java.
first draft of visitor refactoring

this commit breaks everything ever, I know. But I want to get reviews done on the interface for visitors before I start making changes to the entire code base to support the new API.

Note that while I'm sure I'll have to do some fine-tuning, this is designed to serve as a drop-in replacement for what already existed, except that BasicHookWorker has now become
LocalTransformer in keeping with its similarity in function to LocalTransformer in org.kframework.backend.java
Merge pull request #363 from dwightguth/unified-builtins2

fix whitespace from my mistake when merging
Fixed some typos in JavaDoc.
Merge pull request #355 from grosu/unified-builtins2

Eliminated the inferrable sorts
Merge branch 'newparser-2' into newparser-doc1
add generic throws parameter, plus remove type parameters from drop-in replacement visitors
remove more type parameters to make this easier to replace legacy code
Merge branch 'master' of http://github.com/kframework/k

Conflicts:
	src/javasources/KTool/src/org/kframework/backend/maude/krun/MaudeKRun.java
Updated profiler sanity test to use regex.
Merge branch 'newparser-2' of github.com:kframework/k into newparser-doc1

Conflicts:
	src/javasources/KTool/src/org/kframework/parser/concrete2/Parser.java
made SymbolicConstraint#Equality immutable
fixed bug in builtin list transformer
added copyright
prevent redundant ktest info printing
fix ktest colorful output printing for non-ANSI terminals (issue #368)
Merge pull request #377 from osa1/issue375

prevent redundant ktest info printing (#375)
Merge pull request #338 from andreiarusoaie/ltl-attributes

LTL and symbolic backend: fixing the 'ltl' attribute issue for rules.