Fixed #666: Segfault on calling hpx::finalize twice
Adding ticket to docs