Add Docker instructions
Fix travis-ci