Renamed Score.add_double_bar() to Score.add_final_bar_line().

Score.add_final_bar_line() now allows you to specify a bar line abbreviation
other than '|.' such as '||'.
Merged master.