Update: minor naming change in doxygen config
Add: stdlib implementation documentation
Add: documentation mainpage