Allow search bar to search for old proposal names

[mitar]

Allow search bar to search for old proposal names in case collaborators recently changed the name: this frustrated folks and made them do extra work asking what the new name was.

Let's remember one previous name. We can add a column in the database for the previous name.