update changelog, bump version to 0.5.13, add THANKS