Clean up prefs / settings

I fixed up the DevTools prefs / settings a bit.

`discardSystemSource` is no longer needed, as the problem was a solved in a different way later on.
As the flash script can from 1.3 upwards, when did `devtools.debugger.remote-enabled` become obsolete?