feat(int): start on integers file
define integers, addition. int.lean is an old version, int2.lean is a new try which works better
int2.lean fails to compile when L169 is uncommented
append and head
feat(proof_style): documentation of proof style
feat(nat2): definition of div and mod
feat(nat/int): change positivity in nat, change definition of add in int

Change the positivity side conditions in nat (needed for some multiplication lemmas) to _ > 0 instead of being of the form succ _. In int added sub : nat -> nat -> int