Added current source, but as .txt file

Sorry, about the .txt, but as far as I can tell, there is no one
standardized brainfuck file type, so you can figure out what to do with
it. It's kind of messy, but I documented it just well enough that I know
what's happening where.