Handle stdin for symbol input

Currently, input must be either on the command line or stored in a file; stdin cannot be fed to the program as input. While Unix shells can work around this with `$(command)` syntax, this is not an option on Windows. Attempting to force piping on Linux using `/dev/stdin` causes a segmentation fault, probably due to lack of an allocation mechanism in the CLI’s `main()`.