Update README.markdown

Correct URL for the scala-port
Merge pull request #16 from kpox/patch-1

Update README.markdown
correct Moore diagonalization
Merge pull request #18 from fumieval/master

The `Monad` instance for `Moore` is inconsistent
Fix Pipe arguments in documentation for PlanT

Previously this omitted the 'k' argument.
Merge pull request #19 from prophile/patch-1

Fix Pipe arguments in documentation for PlanT