Update gitlab-shell to v5.3.1
Fixes gitlab-shell#92 (closed). Replaces https://gitlab.com/gitlab-org/gitlab-ce/merge_requests/12730 as a ~"Pick into Stable" update for this dependency; the only difference between that and this is gitlab-shell!145 (merged).