fixed the serialisation of sac2c_int and unified AST attribs Int and Integer into Integer only

This truly fixes issue #2531 (closed) (meaning the compiler behaves identically across platforms for that example).