fixed some indents

register ilpsched options

- typo fixed

extended use of bulk insertion for constraints
added some timer

added new getter/setter for abstract machine attributes

remove gp_NOREG from constained registers in spec again, this fixes some errors but also makes the verifier cry because of double registers...