Improve Python and Linenoise

This change reinvents all the GNU Readline features I discovered that I
couldn't live without, e.g. UTF-8, CTRL-R search and CTRL-Y yanking. It
now feels just as good in terms of user interface from the subconscious
workflow perspective. It's real nice to finally have an embeddable line
reader that's actually good with a 30 kb footprint and a bsd-2 license.

This change adds a directory to the examples folder, explaining how the
new Python compiler may be used.  Some of the bugs with Python binaries
have been addressed but overall it's still a work in progress.

libc/str/str.mk

@@ -52,8 +52,6 @@ o//libc/str/bzero.o:						\
 		OVERRIDE_CFLAGS +=				\
 			-O2
 
-o/$(MODE)/libc/str/fun3.o					\
-o/$(MODE)/libc/str/sha3.o					\
 o/$(MODE)/libc/str/dosdatetimetounix.o:				\
 		OVERRIDE_CFLAGS +=				\
 			-O3
@@ -76,7 +74,8 @@ o/$(MODE)/libc/str/getzipcfiletimestamps.o:			\
 
 o/$(MODE)/libc/str/iswpunct.o					\
 o/$(MODE)/libc/str/iswupper.o					\
-o/$(MODE)/libc/str/iswlower.o:					\
+o/$(MODE)/libc/str/iswlower.o					\
+o/$(MODE)/libc/str/iswseparator.o:				\
 		OVERRIDE_CFLAGS +=				\
 			-fno-jump-tables