Running pluto

On some machine you might need to run the following in the command line:

julia --pkgimages=no -e "import Pluto; Pluto.run()"

The first part is to avoid loading libraries that might have been precompiled for a different platform. This should disapear once we upgrade to 1.10.