Update the README.

Mention the other ports I've seen.