restructuring

git-svn-id: http://k-framework.googlecode.com/svn/trunk@185 82a86efa-2583-11df-8ea0-49ba94de29ab
Moved branches/k3 into trunk.   Have a good day! :-)


git-svn-id: http://k-framework.googlecode.com/svn/trunk@6705 82a86efa-2583-11df-8ea0-49ba94de29ab
Move dist directory
Java backend: moved Utils class to util package
Updates to the pdmc front
Additional work on PDMC
PDMC: Towards generating witness.
Towards generating witnesses. Path in PAutomaton done.
Towards generating witnesses. Path in PAutomaton done.
Merge branch 'pdmc' of https://github.com/kframework/k into pdmc
Cleanup.
Javadoc and code style reviews.
Removed hashCode
"Fixed" unicode comments and added more JavaDoc.
Counterexample graph
Additional work on pdmc
hasmap for labels
Separated Graph Generation
Added code for witness generation
Addressing (part of) the commit review concerns.