Add Travis section to Dev docs

This addresses #426