gc/boehm: update README