Invalid links on web
The links to virtual machine images are not working, specifically these two:
- OVA Appliance --> http://divine.fi.muni.cz/download/images/divine-4.0.5.ova
- VDI disk image --> http://divine.fi.muni.cz/download/images/divine-4.0.5.vdi.xz