set up coveralls on travis
Merge branch 'master' into xtc240
update xtc to share BDD instance

previously tests would run out of memory