Remove Freudenthal.v (incomplete)

at @peterlefanulumsdaine's suggestion.  Once it's working we can put it back, but while it's not yet working, it's probably confusing to have it hanging around.