simplify userProperties usage
fixes #8
marabou-8 ignores last window size found in user properties on startup