reddit shell: web based linux shell emulator for browsing reddit via command line