Move several lemmas from sha into floyd:

field_compatible_cons_Tarray
field_address_isptr
is_pointer_or_null_field_compatible
Lemma data_equal_JMeq
data_equal_firstn
nth_list_repeat
data_equal_list_repeat_default
eq_JMeq

Also, add *.cache to .gitignore