Deprecate sound attribute of <bell>, clean up format files, close #17