PDRplan version 1.2

-------------------

- inductive minimization inside extend (-m=2 and -m=3)
- extend no longer support returning more than one learned clause
- removed the flag for multiple extensions and simplified the code accordingly
- noop_from_current is now the only possibility for ensuring monotonicity (the flag was removed)
- resolved compiler issues (see makefile)

Author: Martin Suda