Add support for SDK 1.2, integrate new chanes in SDK allowing for searching for DLV path from ASPIDE environment and introducing propetries