Add documentation on CI

Created by: Zaharid

After several years, people still ask regularly what CI is. Apart from that needing more discussion, there are things in our Travis configuration that are completely obscure even if you knew about Travis in general, such as how the various secrets work or which scripts get looked at at what time. This should make it better, without being overly specific and subject to frequent problems with synchronization.