Allow repository installation to be optional

Fixes issue #48.