Move gae-mini-profiler to gitsubmodule