Travis badge added.
More tests.
Formatting changes.