adding Auction House sample problem, minor text cleanup in fibprime