Software prerequisites: apt-cacher-ng debiman mandoc python3

After installing apt-cacher-ng, the proxy is started automatically and should be
listening on port 3142.
debiman by default will download from http://localhost:3142/deb.debian.org/
This setting can be changed with -local_mirror or -remote_mirror

How to use the scripts:

1. Download manpages from Debian:

       $ DEBIMAN_SERVING_DIR=/absolue/path make download

2. Extract all the pages from .gz:

       $ DEBIMAN_SERVING_DIR=/absolue/path make extract

3. Convert manpages to plaintext and html:

       $ DEBIMAN_SERVING_DIR=/absolue/path make convert

4. Create RDF graph:

       $ DEBIMAN_SERVING_DIR=/absolue/path ./rdf.py