[doc] fix links to standard library

HTML links to Why3 standard library are broken