Building doc (Documenter.jl)

While it does not seem possible to add a dependence towards the current package when building the doc with GitHub CI, it is needed to build the doc locally. The following works (note the dev to enforce using the local version):

julia> Pkg.develop(path="/home/jcaillau/OptimalControl.jl"); include("make.jl"); Pkg.rm("OptimalControl")