Formatting
Add travis ci configuration