Codeku: A lightweight, embeddable code execution widget for the web