unified-builtins checks only the tests that work
fix copyright on files modified on unified-builtins2 branch
fix xml declarations
removed redundant config_java.xml
Merge branch 'unified-builtins-test' of https://github.com/kframework/k into unified-builtins-test
Merge pull request #436 from kframework/unified-builtins-test

Unified builtins tests