Cement manufacture is a huge carbon emitter. A by-product of splitting seawater might make the process more environmentally friendly.