Re-enable gae_mini_profiler, now that it's thread-safe.  Fixes #36.