Changed list of always online computers

From now on, next to the terminal servers (faui0sr0, faui06, ircbox), only the following groups of computers are permanently switched on: faui00*, faui05*, faui0c*

-- Thomas Preisner