Removes old, ugly, boken neither convenient nor practical file manager.

Will probably come back someday under another form when we drop CKEditor, just need to find the replacement :-)