Moved sources to the top level as it turns out that GitHub pages can't handle them otherwise.