Procs

proc get_page(url: string): string {....raises: [], tags: [RootEffect,
    ReadIOEffect, WriteIOEffect, TimeEffect], forbids: [].}

Fetch a web page and return its content.

In case of error, return an empty string.