External functions for diameter estimation.
Print more argument types in NEW_AXIOMS.
fixed some style/ mpi debugging progress
MPIdebug initailization setup
added debug sending to debugger
fixed messageQueue compilation error
Merge remote-tracking branch 'refs/remotes/origin/debug' into boost-mpi

Conflicts:
	api/mpi.cpp
	debug/debug_handler.cpp
actual fix on message queue error
Merge remote-tracking branch 'refs/remotes/origin/debug' into boost-mpi

Conflicts:
	debug/debug_handler.cpp
compiling debug-mpi code
Ignore emacs backup files
Merge remote-tracking branch 'refs/remotes/origin/debug' into boost-mpi
Setup debug messages for MPI
packing messages updated
Implement MPI debug message handlers
Merge remote-tracking branch 'refs/remotes/origin/apidebugger' into apidebugger
Change location where debugger is init'd
Abstract debugger init to the api layer

Due to the debugger's need for interprocess communication
(for message passing and synchronization), it is best to
abstract the init process to the api layer.
Implement serial execution in MPI

In order to implement serial execution in MPI, two additional
functions have to be exposed through the API interface
(serializeBeginExec and serializeEndExec).
Change function names to more appropriate names

on_current_process => onLocalVM
get_process_id => getVMId