Drops the name.stadig prefix.
Actually, conjecture should be a plain dependency.
Bump to 0.2.0.