Added support for double-clicking a problem to load it.