Update DesignDocumentation.tex

added library used section.