Fix compile error by using uint32_t from boost namespace.
Merge pull request #692 from openscad/uint32-compile-fix

Fix compile error by using uint32_t from boost namespace.