Fetch MiniProfiler from github to avoid problems with Sunspot.