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
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
Merge branch 'master' of github.com:leanprover/libraries