Several bug fixes and improvements in RepoBuilder and GameAssets

A couple of things broke with recent changes. One bug still needs to get fixed: https://github.com/e-ucm/ead/issues/937