Add marble definitions to readme-src