Enhanced handling of Git branches in rev files (mostly with sparse checkouts of single commits)
Updated version number to v0.5.14