take abbreviations into account with in-place editing

upgrade editable to a sort-of jquery.ui - style control
well, at least something with some internal state and methods
active and inactive text
selection of the last bit

fixes #372
also fixes a similar problem with editing abbreviated title in navbar
artifacts
reformat
rebuild js script
Merge branch 'feature/improve-editable' into develop