ARandR 0.1.7.1 released

…with the following changes since 0.1.4 (the intermediate releases were not important enough to get own release announcements):