A small tool to remove proprietary parts from Cyanogenmod