Fix bug where self.useMemoryLimitPolling and self.memoryLimitPollTimePeriodInSeconds were not declared if a memory limit was not specified.
Fix bug where self.useMemoryLimitPolling and self.memoryLimitPollTimePeriodInSeconds
were not declared if a memory limit was not specified.

symbooglix/boogie-runner,symbooglix/boogie-runner