Remove Unicode characters from source files, closes #85

Temporary change to fix the documentation building script. The proper fix would
involve setting up the charset correctly on io:put_chars.