Add a CNAME file
Add a CNAME file

We want to use a custom domain to direct to our GitHub organisation
pages, so we add a CNAME file as described on
https://help.github.com/articles/adding-a-cname-file-to-your-repository/

fifth-postulate/fifth-postulate.github.io,fifth-postulate/fifth-postulate.github.io