Despite losing Graeme Shinnie to a red card in the 90+5 minute, Aberdeen cliched an important 1-0 win over Ross County.