To run the VM containing CIVL,
1. install VirtualBox
2. start VirtualBox, and then File->Import Appliance, 
   and choose civl_ase15_vm.ova
3. the credential for logging in the VM is:
   user name: CIVL
   pwd: civl2015