added link to HTML report of JGiven