Sandboxing of OPAM 2 prevents the build from downloading font files

[gfngfn]

Sandboxing of OPAM 2 prevents the build from downloading font files

[rjbou]

Using opam 2.0.0 format, you can use the field [extra-source] in order to let opam download the file before the sandboxed build (and check the checksum!).

[omasanori]

I made a PR based on @rjbou's comment. Thanks a lot!

[omasanori]

IMHO downloading fonts during build is not critical for SATySFi and it could be replaced with an utility, say, satysfi setup-fonts to download fonts and place them in $HOME/.satysfi.

A possible side effect of this approach is that we no longer need to think about #38 ;-)

Otherwise, we can import the fonts into the repository since they are all redistributable freely.