Include updated shorten-strings and yesod kerberos as submodules