Use ReadTheDocs theme
Edit theme to add GitHub ribbon
Remove obsolete file (for previous tests)
Use doctrine hightlight syntax for php code