Add verbose output to include()

Example:

```
$ include net/cidr
$ 
```

So when used interactively, how can I tell what that has done for me?

Better:

```
$ include -v net/cidr
loaded function: cidr_prefix_to_mask
loaded function: cidr_prefix_table
$
```