CodeMic demo: beyond screencasts – record and replay inside your IDE