Change console processes priority when the console gains or loses focus

The priority of console processes belonging to a given console should change when this console gains or loses its focus. This is noticeable for consoles where NTVDM is running.