Automatically select header color for mirror
Add a 500.html template, to avoid spam in error.log
serve_solution_file: Do not raise error if solution.author.tutorial is None