Conformant Planning as a Case Study of Incremental QBF Solving