Move integer_word32.lem - it is just some basic theorems from HOL (not
relevant to the Lem specification).
Identify in the Makefile two more files (TCP1_net and TCP1_net1) that
look like they have been introduced by my (tr) to model the network
more precisely. These should probably be ported to Lem also. Otherwise
all files have been ported to Lem.