HAVM doc link is broken

The link that needs to be fixed at https://assignments.lrde.epita.fr/tools/havm.html:

• HAVM Documentation - https://assignments.lrde.epita.fr/tools/%7Curl%7Cdoc/havm.html