stackpatch 1.3 release

Updated file manager UI UX, more versatile and handles edge-cases where file is downloadable but also editable. Google material icons are now being used to display file types in a user friendly way. -- https://fonts.google.com/icons