Add explanation for optimization type to index profiling output
Add "Running queries" box to monitoring page, allowing to kill a query.