This allows to run the ILP-based blocking analysis for spinlocks with only
the common constraints enabled (i.e., no spinlock type specific constraints).
This is useful for comparison.

Mostly existing constraints for non-preemptive prioritized spinlocks were
extended.

Mostly existing constraints for non-preemptive prioritized spinlocks were
extended.

Many of the constraints for non-preemptive unordered spinlocks were extended
for preemptive unordered spinlocks.

Some new constraints and helper functions specific for preemptive FIFO
spinlocks were added. To a large extent, the constraints for MSRP were
re-used and extended to produce constraints for preemptive FIFO spinlocks
if the flag "preemptive = true" is passed.