One more addition for Box2D support

This time, the crafty-local file had to be added. It provides a list of
plugin files to be loaded by Crafty.