document emptiness_check::parse_options()

Requested by Yann.

The different options that can be passed are not specified. The only doc is currently on the old site at http://spot.lip6.fr/wiki/EmptinessCheckOptions