Added c file I'm playing with to try to run gnu core utils echo with s2e
stuff, also added gnu coreutils source in case we want to run echo from
source rather than the binary