rename getUint32 to getInt32 and collect readInt*() in util.js
Merge pull request #4636 from fkaelberer/issue4553

Rename getUint32 to getInt32 and collect readInt*() in util.js