remove all references to maude backend and make java the default
fixes for java backend productions that represent klabel constants
fix agent to work in java backend
fix regression tests to work in java backend
add documentation for OfKItem methods
update changelog and poms for release version 3.5
fixes from traian's review
Merge pull request #1265 from dwightguth/release

update changelog and poms for release version 3.5
update readme version for release
[maven-release-plugin] prepare release v3.5
[maven-release-plugin] prepare for next development iteration
Merge branch 'master' into kill-maude-dead2

Conflicts:
	maude-backend/pom.xml
Merge pull request #1255 from dwightguth/kill-maude-dead2

remove maude backend and make java the default