merge trunk changes for 10.3.1
fix memory deallocating and couting variable
improve critical section handling
introduce VectorProtected template for protecting access with a critical section
some small fixes found with Coverity
remove SpeedFactor from the flippers as this must be investigated further
fix "Enable Mouse during Play", "Enable Nudge Filter" and "Disable B2S" checkbox in the keys preferences
add SpeedFactor command to the flipper element to speed up/down the actual flipper speed via scripting.