src bug: Adding missing topology files

Wrong wildcard in gitignore prevented them to be commited earlier