scripting: implement #include directive

The network defined in an included file will become a prototype in
the current file.