Vagrant config for smart card/Java card development