fix travis and add coverage