Implement basic ordernumber assignment, properly add options to WooCommerce settings pages;

What is still missing is the detection whether an order is new or not. Old orders without ordernumbers should NOT be assigned a new ordernumber... No idea how I can find out this aspect