Release version 0.12.5
Working on 0.13.0
Fixes #1002
Fix jQuery UI moving its files around
Changelog updated.