Add stdint, missing under Linux
Superficial changes to Makedefs
Don't release the info GUI if there is none

Fixes segmentation fault on exit.
Commit to mini-XML's reference counting to manage DOM storage

This entails the use of copy constructor and assignment operator for XML
nodes. Fixes a small leak.
Confirm socket is open before closing

This fixes a valgrind warning
Fix node DOM not nulled in copy constructor

This fixes an uninitialized value error reported by valgrind.
Call play_fini in play mode destructor

This entails making play_fini work correctly even if not in play mode.
This change fixes a leak when exiting during play mode.
Zero the ODE play state

This eliminates a valgrind uninitialized value warning when the application
is exited without having been put in play mode.