Initial commit of sources

This is the code base as of June 21, 2013.