Resizes and smarter search

New stuff

• Search accepts capital letters (à la webstorm)
• All tabs are resizable.
• All data is stored in local storage, and stays on page refreshes