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.