Fixed some issues with the code.

Redefined tropical so that it just needs to be a semiring, and needs to be
orderable (else, you can't take the minimum)!

I moved the README back to markdown, and changed my dumb version number.