The name of the main branch should be main

[martindholmes]

We still have the original name for our core branch; we should bring this repo in line with other TEIC repos. There may be fallout if automated build processes are using branch names, so we should check this before making the change.