Added checks for patmos-emulator, added option to disable platin tests