The OVA file of the VM can be downloaded using this link. The OVA file can be imported using VirtualBox.
./setup/install-angr.sh
(it takes a few minutes since the binary is 45MB)
./setup/install-IDA.sh
Follow the instructions from the setup wizard. Install it in the default location.
./setup/run-IDA.sh