Add helper external annotations for IntelliJ IDEA
WIP: Incorporate snapshot sending/receiving into RaftAlgorithm