GigCapital, Inc.