Resize the folder panel

The folder panel in the file browser can now be resized. Its width stays consistent when you switch between the embedded and main folder views.