Added badges and integrated with Travis, David, and Coveralls