Rename spin lock analysis API, part 1

Python part still missing...
completed renaming of LP-based analysis of spinlocks
added simple testcases for LP-based spinlock analysis
added test for dummy bounds
add missing @unittest.skipIf annotations

Don't fail LP analysis tests if no LP solver is available.