clean up MaudeHelper

Make the never-modified basicSorts and constants sets private
to MaudeHelper and expose only isBasicSort and isConstant methods.

Move the mutable separators collection into MaudeFilter, which
is the only place it is used.
Make Maude list terminators from label also

This applies the earlier change to list terminators
in the Maude backend as well.
Merge pull request #931 from bmmoore/list-terminators-maude

Maude list terminators from label also
Merge pull request #915 from yilongli/fixing-several-bugs-in-Java-backend

Fixing several bugs in java backend
use pattern matching for macro expansion
Merge pull request #936 from yilongli/use-pattern-matching-for-macro-expansion

use pattern matching for macro expansion
Merge branch 'master' into canonicalize-collections-in-builder-pattern-part1

Conflicts:
	src/javasources/KTool/src/org/kframework/backend/java/symbolic/PatternMatcher.java
	src/javasources/KTool/src/org/kframework/backend/java/symbolic/StepRewriter.java