Travis script for checking URLs.
Merge pull request #6 from yallop/check-urls

Travis script for checking URLs.
Remove broken link to "Deep Specifications and Certified Abstraction Layers".