Clean more files
Revert "Fix cmdliner dependency."

This reverts commit 0230460d58504d204b4dbc801673034d2ca684e8.
Fix and improve the travis scripts
Merge pull request #990 from samoht/master

various minor fixes