Added copyright header to stdlog.js