Adds a new local time scope to constraints

Now, constraints have three different time scopes:

• is_valid_at: Is the constraint not hurt at a specific time t?
• is_valid_until: Is the constraint not hurt at any time before (including) t?
• fulfilled: Is the constraint fulfilled during the whole solution?

Follow-up on the discussion in #42 (closed)