added basic instruction table and created the coq file which will eventually store the formalized version of it.