Add GPL header to example.jl