A small frontend to the libcURL library.

Configuration
-------------

!<config>
! <libc stdout="/dev/log" stderr="/dev/log">
!  <vfs>
!   <dir name="dev"> <jitterentropy name="random"/> <log/> </dir>
!  </vfs>
! </libc>
! <fetch url="http://genode.org/about/LICENSE" path="LICENSE"/>
!</config>

Optionally, you can use a proxy:

! <fetch url="http://genode.org/about/LICENSE" path="LICENSE"
!        proxy="sock5://10.0.0.1:9050 />
