Boston and San Francisco-based startup Buildcoin wants gamify programming, with a system that plugs into Git and Jenkins.