A better <input type="file">