Allow to specify resolver via CLI

Fixes #34.