Updates generated documentation (now generated using the GNAT Programming Studio 5.3-2 (Debian))