Optional external battery charger

Charger for battery of VeriFinder