Build ctools in patmos and install platin toolkit