Reconfigure travis. Add travis badge.