buildbot: fix patmos build (ctools was moved to tools/c)
Merge branch 'master' of https://github.com/t-crest/patmos-misc