When starting a drag with a double click, don't discard the next
mouse up event so that the drag is actually concluded.
Merge branch 'master' of github.com:kduske/TrenchBroom
Minor fix to FaceManager.