version bump for MonetDB

MonetDB updated from Feb2013-SP2 to Feb2013-SP2, which contains bugfixes