External functions for diameter estimation.
Print more argument types in NEW_AXIOMS.
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
Abstract database print and dump to API

For consistency and testing reasons, the database print and dump
should be predictable, which only the API can guarantee in
multi-process asynchronous layers (such as MPI).
Change from hardcoded source/dest to MASTER variable in print/dump
Remove temporary and auto-backup files
Save MPI test outputs to files

MPI is compiled and run with and without execution serialization.
Merge branch 'master' of github.com:flavioc/meld into flavio
Change API send_message to sendMessage
Refactor print and dump into one function

Since both print and dump need to serialize the output of the database
and the only difference between these two functions is the format of the
output, it only makes sense to refactor the serialization into one function
with the output as variable.
Style change: remove execessive whitespace
Merge remote-tracking branch 'refs/remotes/origin/debug' into boost-mpi

Conflicts:
	debug/debug_prompt.cpp
Add debugBroadcastMessage
Remove excessive debugging ifdefs in MPI
Add reverse id translations in database