Also add GPL headers to server-side files