Remove obsolete proprietary-open makefile

The Device Tree now handles the sgx prebuilts

Use trev_cleanup branch on the device tree