Add Vagrantfile and ansible playbook
Install java for CPAchecker