disable parallel test execution to accommodate for c716ee1
disable parallel test execution to accommodate for c716ee1

This will still allow for concurrency in one test class.

larsrh/libisabelle,larsrh/libisabelle,larsrh/libisabelle,larsrh/libisabelle,larsrh/libisabelle