Gavin Andresen Resumes Work on Bitcoin Core