Imported Box2D SVN repo (no promises about keeping this up to date)