News: Vampire Source Available

The Vampire source is now available via our GitHub repository.