The index.html will redirect people to the latest documentation
directory (develop), and the .nojekyll file will force github
to serve index.html files on a folder path (the user would be
served synapse/develop/index.html if they navigated to
synapse/develop).
