Add missing links to server dev guide

Mark Craig

25.31.2015 ba4697dfca95f10f5a99984f9ae601166cd0f97e

1
2
DocBook XML source for OpenDJ core user documentation. Java API and
configuration reference documentation is generated from OpenDJ source code.