A few pointers that should help your gun.
About the IGBT make sure you have a hefty diode anti-parallel to the coil. With out it you will destroy any IGBT you use. I learned from experience here. Also make sure you drive the gate with a high enough voltage. 12V usually works well. Anything less and you won't turn on the IGBT fast enough. Some people use 24V but I use 12V.
Cut the end of your bolt off and get a smaller barrel or a larger bolt, you want there to be as little space between the coil and the projectile as possible.
You could also add a comparator to control the relay to automatically charge it up to X amount of voltage and hold it there like I did with my charger.
Other then that good job! It looks great.
Also I edited the first link in your post, you had
Justin