Update program_documentation.txt

Add details about bugs with the spanning tree library