Add 17.12.0 documentation

[jrha]

Built with quattor-documentation-builder -c -m src/ -o output/ --info with some cleanup and whitespace trimming.

First part of quattor/release#66.

[jrha]

Stupid garbage HTML tags get created by < … > in docs... will look at doing some additional cleanup.

[stdweird]

@jrha also use https://jenkins0.ugent.be/job/panc/org.quattor.pan$panc/ so default values from the schema are added to the docs

[jrha]

Eh?

[stdweird]

there's no pan release that has support for generating annotations that have the defautl value from the schema (quattor/pan#169), so you have to use one of the jars from latest master

[jrha]

Ah ok.

[jrha]

After chasing around for a while I realised these ARE built with a compiler that includes default values, as were the previous versions of the docs.

[jrha]

I've wasted most of the afternoon trying to figure this out and I'm giving up, there is clearly something missing from what I am running versus what @wdpypere did to build the docs in master, as things stand a fair amount of the docs will be seen as bogus HTML tags and be invisible.

If you want something better, make @wdpypere do it.

[jrha]

@stdweird I don't think can be improved without input from @wdpypere and the next release is overdue, so we should probably just merge...

[jrha]

@jouvin this PR