Sword: update to 1.7.2

The first of a serie of updates I am planning: Sword itself, Bibletime and Xiphos.

(As I am not so confident in my Git skills, I will do it one commit at time).