Use CMAKE_BUILD_TYPE for splash2txt

 - use CMAKE_BUILD_TYPE instead of S2T_RELEASE cmake option
 - fix a compile error with gcc 4.9 (uint32_t undefined)

Fix for #554 
ah, classic. well spotted.