seL4/seL4 — pull request #4 by 8573 (2014-07-29 21:36:43+00:00)
Title: Change README `http://sel4.systems` links to HTTPS

This commit changes the `http://sel4.systems` hyperlinks in the
`README.md` document to use HTTPS rather than unsecured HTTP.

The website at `sel4.systems.` seems to support HTTPS, with a
commonly-accepted (Gandi) certificate, so I see no sufficient reason to
not use HTTPS here.