VS2013 project and fixes for Alethzero.