gcc 4.8
Generate database of links for combined documentation and asio.
Always upload before building documentation.
Add python script to create and update a git mirror.