Update martian filter to check for IPv4.
Update martian filter to check for IPv4.

boutier/babeld,Gwendocg/babeldToS,dtaht/babeld-shortrtt-metrics,wlanslovenija/babeld,woniullb/babeld,sudomesh/babeld,jech/babeld,wlanslovenija/babeld,jech/babeld,tcatm/babeld,Drooids/babeld,Gwendocg/babeldToS