RetDec should be installable directly into the system. Among other things, this will require giving more unique names to our tools (#70).