Add travis banner; document update to close #7