RFC Fetch

A very small script to fetch the txt file for a given RFC.

Example usage:

shell ./rfcfetch --number=9000 --number=8999 --number=9001

Currently only supports txt format.