Merge pull request #2 from bertvh/master

Updates for the MireDot 1.2 release.
Merge pull request #3 from bertvh/master

Updates miredot to 1.2.1
Merge pull request #4 from bertvh/master

Updates to MireDot 1.3 and improves code formatting.
Uses version 1.4-SNAPSHOT
Removes non-standard javadoc
Removes unused classes
Updates version to 1.4; Updates to miredot version to 1.4; Adds some json comments