Adds travis config
Updates to latest miredot version
Improves code formatting.
Merge pull request #4 from bertvh/master

Updates to MireDot 1.3 and improves code formatting.