Bump version to 0.15.2 and vendor batman.js.