add missing 'double' type to orocos.typelist