When running "make clean", the directory "aa-symex" is visited to be cleaned, hence make returns with an error code. Functionality of "make clean" is not tracked in Travis until now. This defect is blocking the pull request, which among other modifications calls make clean during CI: https://github.com/diffblue/cbmc/pull/552
