SVN back to normal

You can safely use the SVN repository again now, it’s all reorganized and restructured and refancied and all that. Check the updated Compiling page if you’re confused about where stuff goes now.