#10 Linux local Vampire expects ASCII input

[Nick Siegel]

People.kif cannot be loaded in local Vampire compiled for Linux, but it loads fine in local Vampire compiled for Windows. Apparently, the Windows version can handle non-ASCII input, but the Linux version cannot. The easiest way to address this would be to filter all input before adding assertions to the Linux version, replacing non-ASCII characters with underscores or dashes.