udpate frontpage

Added sv-comp 2013.

Signed-off-by: Jiri Slaby <jirislaby@gmail.com>