Add Travis build; update documentation