Editing board name and tooltip for edition

Added capability to edit the board name/title by double clicking it (same
as with lanes). Added tooltip for the edit-in-place element to improve
usability.