Add CI workflow

Travis or something else ?