smali editor that ports mods and themes across roms and devices