Allow for empty $pecan_fetch_file if $pecan_fetch_file_url is set.
Make ``distclean'' also remove files fetched via $pecan_fetch_file_url.
Add new pecan package: gawk-4.0.2

Teach tools framework about ``awk'' and ``gawk'' and bump
$pecan_build_version.
Add ``ls'' as a tool.