doc: add Virgil to the credits

Signed-off-by: David Aguilar <davvid@gmail.com>