Improve Database::loadProcList

No longer rely on fragile pointer persistence behavior of std::deque.
Instead of a map, we use sorting & filtering to remove duplicates.
Database::loadProcList progress dialog
Use preincrement for iterators