Replace ARINC with pthread extraction #811
Description
As discussed at the last Gobcon, we should
- Drop ARINC support for the next release, and
- instead merge Liveness analysis of multi-threaded C with POSIX threads #220 to still have some extraction to Promela