MddProxy

Proxy sender for Mdd

Requires boost.

set as follows: export LD_LIBRARY_PATH=$LD_LIBRARY_PATH:/usr/local/lib

use libboost_system.so for linking.