Fix editor export bug and add array deserialisation
Improve tool launcher