Change default gravatar image, redesign the header in problem lists, fix a bug in urls