server/index.php: copy copyright header from arduino.ino