Adding spike fuzzer (v0.1) and spike files for vulnserver