Cxx inttypes

Seems that on linux, buliding with g++ pulls in a different inttypes.h than the one gcc pulls in, and g++'s doesn't define PRIuMAX or PRIdMAX.

I sent a pull request to mauricio that includes <cinttypes> when a cplusplus compiler is used, instead of inttypes.h.  cinttypes defines PRIuMAX and PRIdMAX.  But it also requires user libraries to build with --std=c++11.  Hence this pull request.

NB: The bindings-DSL dependency in the cabal file is left at 1.0.17 so that building continues to work on most machines.  But for people in my situation (undefined PRIuMAX/PRIdMAX), the build will fail unless they use bindings-DSL-1.0.20 + my patch.

With the bindings-DSL patch and this patch I'm sending to you, building works for me.