To promote their personal computing revolution, Linux PC maker System76 celebrated this year's Fourth of July with a Guy Tux 3D printed mask.