Added modelchecker project along with dependencies

Makes it possible to model check AIL-systems integrated with AORTA

Added modified version of AJPF to incorporate verification of
organizational properties as used in AORTA