Search Board when Sync#174

For documents with many boards, it’s hard to access the right board during sync.

It would be helpful to have a search box.

The slider view is not easy to use with many boards. Maybe a grid view could be easier.